\begin{tabbing} (\=(((RWO "select\_append\_back" 0) \+ \\[0ex]CollapseTHENA (Auto$\cdot$))$\cdot$) \\[0ex]CollapseTHEN ((((Try (((EqCD) \\[0ex] \\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$))$\cdot$) \\[0ex]CollapseTHEN (((RWO "length\_append" 0) \\[0ex]CollapseTHEN ( \-\\[0ex]Auto'))$\cdot$))$\cdot$))$\cdot$ \end{tabbing}